Abstractions Volume 2 : Patterns of Modelling & Analysis
نویسنده
چکیده
sig Key {} sig Special, Regular extends Key {} one sig Control, Shift, Option, Command extends Special {} sig KeyPress {keys: set Key, event: Event} {one keys & Regular} sig Event {} fact {setObject (KeyPress, keys)} Note the use of Singleton to model the special keys. A prison database system tracks pairs of inmates who must not be placed in the same cell (because they belong to opposing gangs, for example): module alloy/idioms/prison sig Inmate {cell: Cell} sig Conflict {enemies: set Inmate} {#enemies = 2} sig Cell {occupants: set Inmate} {no c: Conflict | some occupants & c.enemies} fact {setObject (Conflict, enemies)} Predicates and Functions pred setObject (sets: set univ, elts: univ -> univ) { no disj s1, s2: sets | s1.elts = s2.elts } 92 ANALYZABLE MODELS FOR SOFTWARE DESIGN · DRAFT
منابع مشابه
A Visual Language for Design Pattern Modelling and Instantiation
The proposed UML standard for modelling design patterns uses parameterised collaborations [1]. However, as these are constructed using similar concepts to object models, they are ust prototypical examples of an object model. A similar problem exists with the work of Florijn [2]. LePUS [3] uses monadic logic to express design pattern solutions and includes a visual notation. However, LePUS’ abst...
متن کاملSPOT PATTERNS IN GRAY SCOTT MODEL WITH APPLICATION TO EPIDEMIC CONTROL
In this work, we analyse a pair of two-dimensional coupled reaction-diusion equations known as the Gray-Scott model, in which spot patterns have been observed. We focus on stationary patterns, and begin by deriving the asymptotic scaling of the parameters and variables necessary for the analysis of these patterns. A complete bifurcation study of these solutions is presented. The main mathematic...
متن کاملWorkflow Data Patterns
Workflow systems seek to provide an implementation vehicle for complex, recurring business processes. Notwithstanding this common objective, there are a variety of distinct features offered by commercial workflow management systems. These differences result in significant variations in the ability of distinct tools to represent and implement the plethora of requirements that may arise in contem...
متن کاملQualitative Chain Graphs and their Use in Medicine
For modelling diseases in medicine, chain graphs are more attractive than directed graphs, i.e., Bayesian networks, as they support representing interactions between diseases that have no natural direction. In particular, representation by chain graphs is preferred over Bayesian networks as they have the ability to capture equilibrium models. Using qualitative abstractions of probabilistic inte...
متن کاملAgent Roles and Role Models: New Abstractions for Intelligent Agent System Analysis and Design 2.0 Roles and Role Modelling in Object Oriented Software Engineering 2.1 Overview
This paper presents roles and role models as new abstractions for specifying, modelling, and designing intelligent agent systems. The approach is particularly valuable for applications that involve information and process management because it represents a unified approach. Software agents, objects, processes, organizations, and people can play roles and can therefore be incorporated into a rol...
متن کامل